Summary: This PR migrates One’s HTML generation utilities to use the new HTML module provided by Sourcemeta Core.

Changes:

• Removes the local src/html library (and its unit tests) from One’s build.
• Bumps the vendored Core dependency to a revision that contains the new HTML module.
• Adds Core’s HTML component to the vendored Core build configuration and default components list.
• Introduces Core HTML sources/headers under vendor/core/src/core/html (encoder, escape, elements API).
• Updates the web generator to include <sourcemeta/core/html.h> and use sourcemeta::core::HTML/HTMLNode.
• Updates linking so sourcemeta_one_web depends on sourcemeta::core::html instead of sourcemeta::one::html.

Technical Notes: Core’s API uses HTMLAttributes as an ordered vector of key/value pairs (instead of a map), and the escaping function is now sourcemeta::core::html_escape.

_{🤖 Was this summary useful? React with 👍 or 👎}